Rho calculus